метод логического вывода

См. также в других словарях:

• метод логического вывода — механизм логического вывода — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы механизм логического вывода EN inference engine …   Справочник технического переводчика

• Метод индукции — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… …   Википедия

• Индуктивный метод — метод познания, построенный на индукции (см. Индукция). Предложен Фрэнсисом Бэконом (1561 1626), английским философом, родоначальником английского материализма. В целом индукция выступает у Бэкона не только как один из видов логического вывода,… …   Энциклопедический словарь по психологии и педагогике

• Индуктивный метод — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… …   Википедия

• АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… …   Математическая энциклопедия

• ГЕНЕТИЧЕСКИЙ МЕТОД — способ задания содержания и сущности исследуемого предмета не путем конвенции, идеализации или логического вывода, а с помощью изучения его происхождения (опираясь на изучение причин, приведших к его возникновению, механизм становления). Широко… …   Философия науки: Словарь основных терминов

• ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД — метод научного познания и рассуждения, основанный на выведении (дедукции) заключений из гипотез и др. посылок, истинностное значение которых неизвестно. Поскольку в дедуктивном рассуждении значение истинности переносится на заключение, а… …   Философская энциклопедия

• гипотетико-дедуктивный метод —         ГИПОТЕТИКО ДЕДУКТИВНЫЙ МЕТОД (от греч. hypothesis основание, предположение и лат. deductio выведение) метод научного исследования, который сводится к дедуктивному выводу следствий из гипотезы (или системы гипотез) и их эмпирической… …   Энциклопедия эпистемологии и философии науки

• АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД —     АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД разрешающий метод для проблемы общезначимости формул классической, интуиционистской и модальной (система S4) логики высказываний. В сочетании с некоторыми дополнительными приемами этот метод применим и для… …   Философская энциклопедия

• Исключения метод — (лог.) один из видов логического доказательства; состоит в перечислении всех частных случаев какого либо общего положения, за исключением одного, и в доказательстве неприменимости их к требуемому выводу; в результате получается уверенность, что… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

• Буль, Джордж — В Википедии есть статьи о других людях с такой фамилией, см. Буль. Джордж Буль англ. George Boole …   Википедия